package ss.pku.jsa.type.constraint.solver;

import ss.pku.jsa.type.inference.Qualifier;

public class StubNative {
	public static void initCQual(String latticePath, String ffiPath,
			boolean useFFISubtypes) {
	}

	public static String finishCQual() {
		return "results from stubbed cqual...";
	}

	public static void resetLibQual() {
	}

	public static void setPolyFlag(boolean b) {
	}

	public static int getMaxEnum() {
		return 1;
	}

	public static int makeQvar(String name, int locationIndex,
			boolean preferred, boolean global) {
		return 1;
	}

	public static boolean variableQual(int index) {
		return true;
	}

	public static boolean constantQual(int index) {
		return true;
	}

	public static int findQual(String name) {
		return 1;
	}

	public static void setQualName(int index, String name) {
	}

	public static void getQualifierPath(int nativeIndex) {
	}

	public static void makeQvarGlobal(int index, boolean global) {
	}

	public static void makeQvarPreferred(int index, boolean preferred) {
	}

	public static void mkeqQual(int locationIndex, int leftQualIndex,
			int rightQualIndex, String errorMessage) {
	}

	public static void mkleqQual(int locationIndex, int leftQualIndex,
			int rightQualIndex, String errorMessage) {
	}

	public static void mkeqQualGated(int qgateIndex, int locationIndex,
			int leftQualIndex, int rightQualIndex, String errorMessage) {
	}

	public static void mkleqQualGated(int qgateIndex, int locationIndex,
			int leftQualIndex, int rightQualIndex, String errorMessage) {
	}

	public static void mkleqInst(int qgateIndex, int locationIndex,
			int polarity, int leftQualIndex, int rightQualIndex,
			String errorMessage) {
	}

	public static int allocLocation() {
		return 1;
	}

	public static int allocQGate(boolean forward, boolean backward) {
		return 1;
	}

	public static void addQualToGate(int qgate, int q, boolean allow) {
	}

	public static void qualGateSetAll(int qgate, boolean allow) {
	}

	public static long getLineFromLocation(int locationIndex) {
		return 1L;
	}

	public static long getFilePositionFromLocation(int locationIndex) {
		return 1L;
	}

	public static String getFileNameFromLocation(int locationIndex) {
		return "test";
	}

	public static void setLineForLocation(int nativeIndex, long line) {
	}

	public static void setFilePositionForLocation(int nativeIndex, long fp) {
	}

	public static void setFileNameForLocation(int nativeIndex, String name) {
	}

	public static void getInferredQualifiers(Qualifier q) {
	}

	public static boolean leqQual(int nativeIndex1, int nativeIndex2) {
		return false;
	}
}
